#include <stdio.h>

#include "splay_tree.h"

struct int_splay_tree
{
  struct splay_tree splay;
  int value;
};

int
main(int argc, char* argv[])
{
  printf("Hello world!!!\n");
  return 0;
}
